Search Results
EPIT Spring School on HoTT: Bas Spitters Part 3 (Quotients and impredicativity, Axioms )
EPIT Spring School on HoTT: Bas Spitters Part 1 (Introduction to Coq and HoTT)
On the Category of hSets - Bas Spitters
@rae: A not-so-quick look at Quick Look impredicativity
Sollicitatiegesprek 1 Bas Spitters
Loïc Pujet, Observational Type Theory meets CIC
A Quick Look at Impredicativity (ICFP 2020)
Keynote talk by Bas Spitters: Verified Oak Smart Contracts
[POPL'23] Impredicative Observational Equality
بررسی مقاله Something about science: Mulling over impredicative systems
![[POPL'23] Impredicative Observational Equality](https://img.youtube.com/vi/xNF3okmS4HI/hqdefault.jpg)
